Moore J. Strother | Buy Cheap Textbooks about Moore J. Strother

1.

Introduction to Abstract Algebra by Moore, J. Strother ISBN: 9780125057509 List Price: $119.00

$75.05 (Save 36%)

2.

Computational Logic by Boyer, Robert S., Moore, J.... ISBN: 9780121229504 List Price: $84.00

OUT OF STOCK

See Availability on Amazon

3.

Formal Verification of Floating-Point Hardware Design: a Mathematical Approach by Russinoff, David M., Moore,... ISBN: 9783319955124 List Price: $99.99

OUT OF STOCK

See Availability on Amazon

4.

Computer-Aided Reasoning An Approach by Kaufmann, Matt, Manolios, P... ISBN: 9780792377443 List Price: $286.00

OUT OF STOCK

See Availability on Amazon

5.

Computer-Aided Reasoning : ACL2 Case Studies by Kaufmann, Matt, Manolios, P... ISBN: 9781441949813 List Price: $329.00

$204.85 (Save 37%)

6.

Computational Logic Handbook, A (Formal Methods) by Robert S. Boyer, J. Strothe... ISBN: 9780121229559 List Price: $74.00

OUT OF STOCK

See Availability on Amazon

7.

Piton by Moore, J. Strother ISBN: 9789401737906 List Price: $24.99

OUT OF STOCK

See Availability on Amazon

8.

Computer-Aided Reasoning by Kaufmann, Matt, Manolios, P... ISBN: 9781461544500 List Price: $24.99

OUT OF STOCK

See Availability on Amazon

9.

Introduction to Abstract Algebra by J. Strother Moore ISBN: 9781493307418 List Price: $127.00

OUT OF STOCK

See Availability on Amazon

10.

Computer-Aided Reasoning : An Approach by Kaufmann, Matt, Manolios, P... ISBN: 9781461370031 List Price: $329.00

OUT OF STOCK

See Availability on Amazon

11.

Piton: A Mechanically Verified Assembly-Level Language (Automated Reasoning Series) by J Strother Moore ISBN: 9789401737913 List Price: $99.00

$51.31 (Save 48%)

12.

Correctness Problem in Computer Science - Robert S. Boyer - Hardcover by Boyer, Robert S., Moore, J.... ISBN: 9780121229207 List Price: $108.00

OUT OF STOCK

See Availability on Amazon

13.

Piton A Mechanically Verified Assembly-Level Language by Moore, J. Strother ISBN: 9780792339205 List Price: $229.00

OUT OF STOCK

See Availability on Amazon

14.

Computational Logic Handbook by Boyer, Robert S., Moore, J.... ISBN: 9780121229528 List Price: $71.00

OUT OF STOCK

See Availability on Amazon

15.

Computer-Aided Reasoning Acl2 Case Studies by Kaufmann, Matt, Manolios, P... ISBN: 9780792378495 List Price: $329.00

$204.85 (Save 37%)

16.

Formal Verification of Floating-Point Hardware Design : A Mathematical Approach by Russinoff, David M., Moore,... ISBN: 9783030070489 List Price: $99.99

$93.93 (Save 6%)

17.

Computer-Aided Reasoning by Kaufmann, Matt, Manolios, P... ISBN: 9781475731897 List Price: $24.99

OUT OF STOCK

See Availability on Amazon

18.

Introduction to Abstract Algebra by Moore, J. Strother ISBN: 9780080924885

OUT OF STOCK

See Availability on Amazon